Opportunistically Parallel Lambda Calculus
dl.acm.org·1d·
Discuss: Hacker News
🌱Minimal Languages
Flag this post
My first fifteen compilers (2019)
blog.sigplan.org·2h·
Discuss: Hacker News
🔬Nanopasses
Flag this post
Building a Rules Engine from First Principles
towardsdatascience.com·1d
⚖️Inference Rules
Flag this post
Building a Visual Diff System for AI Edits (Like Git Blame for LLM Changes)
news.ycombinator.com·2h·
Discuss: Hacker News
🌊Gradual Effects
Flag this post
Don't Let It Fade: Preserving Edits in Diffusion Language Models via Token Timestep Allocation
arxiv.org·18h
🪜Recursive Descent
Flag this post
From Lossy to Lossless Reasoning
manidoraisamy.com·4h·
Discuss: Hacker News
🪜Recursive Descent
Flag this post
Roadmap for Improving the Type Checker
forums.swift.org·21h·
Discuss: Lobsters, Hacker News
✅Type Checking
Flag this post
In a First, AI Models Analyze Language As Well As a Human Expert
quantamagazine.org·8h·
Discuss: Hacker News
🪜Recursive Descent
Flag this post
3D (printed) visual language system I created called 'Chronoglossa'
reddit.com·5h·
Discuss: r/neography
🎯99-Line Languages
Flag this post
Java Generics and Collections • Maurice Naftalin & Stuart Marks • GOTO 2025
youtube.com·1d
🔗Go Generics
Flag this post
Show HN: rstructor, Pydantic+instructor for Rust
github.com·4h·
Discuss: Hacker News
✨Gleam
Flag this post
InternSVG: Towards Unified SVG Tasks with Multimodal Large Language Models
paperium.net·14h·
Discuss: DEV
🌳Parser Visualization
Flag this post
Automate Resume Parsing with n8n, Thordata Universal API & OpenAI GPT-4.1-mini
dev.to·1d·
Discuss: DEV
🔤Language Tokenizers
Flag this post
What we didn't get in C++
pvs-studio.com·1d·
Discuss: r/cpp
🏷️Symbol Mangling
Flag this post
Scalable Static Analysis Framework – hardening large C++ codebases (LLVM/Apple)
discourse.llvm.org·1d·
Discuss: Hacker News
🔪Program Slicing
Flag this post
Ajla Tutorial
ajla-lang.cz·22h·
Discuss: Hacker News
🔮Lisp Interpreters
Flag this post
On Developers in C-Level Meetings
radekmie.dev·1h·
Discuss: r/programming
🎮Language Ergonomics
Flag this post
Falcon: A Comprehensive Chinese Text-to-SQL Benchmark for Enterprise-Grade Evaluation
arxiv.org·1d
📋Tablegen
Flag this post
Why DFS Topological Sort Writes Nodes on Backtracking
dev.to·4h·
Discuss: DEV
🤐Zipper Structures
Flag this post
Build reliable AI systems with Automated Reasoning on Amazon Bedrock – Part 1
aws.amazon.com·54m
⚖️Inference Rules
Flag this post